how do you convert to 23 hour digital time